Statistische Tests im Reinraum Software Engineering
Die Reinraum-Methode der Softwareentwicklung gewährleistet höchste Qualität bei der Entwicklung von Software. Dieses Buch beschreibt den Zeitpunkt, den Zweck, die Anwendung und die Methode für den Einsatz von Cleanroom Software Engineering für Qualitätssoftware. Cleanroom-Software ist ein theoriebasierter, teamorientierter Prozess zur Entwicklung sehr hochwertiger Software unter statistischer Qualitätskontrolle. Cleanroom kombiniert formale Methoden der objektbasierten Box-Struktur-Spezifikation und -Entwurf, funktionstheoretische Korrektheitsüberprüfung und statistische ...